Bernhard Steffen: որոնել Z-Library կայքում

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Don't use scam websites

Գրքեր (81)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung, (eds.)

Տարի:

2020

Լեզու:

english

Ֆայլ:

PDF, 71.08 MB

0 / 5.0

english, 2020

2

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science)

Tiziana Margaria (editor), Bernhard Steffen (editor)

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 29.21 MB

0 / 5.0

english, 2021

3

WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation

Chun-Cheng Lin & Bertrand M. T. Lin & Giuseppe Liotta & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2023

Լեզու:

english

Ֆայլ:

PDF, 9.73 MB

0 / 5.0

english, 2023

4

Computational Science and Its Applications – ICCSA 2022 Part I

Computational Science and Its Applications – ICCSA 2022 Part I

Osvaldo Gervasi, Beniamino Murgante, Eligius M. T. Hendrix, David Taniar, Bernady O. Apduhan, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Moti Yung

Տարի:

2022

Լեզու:

english

Ֆայլ:

PDF, 71.48 MB

0 / 4.0

english, 2022

5

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Տարի:

2020

Լեզու:

english

Ֆայլ:

PDF, 27.77 MB

0 / 0

english, 2020

6

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 3.04 MB

0 / 0

english, 1998

7

Computing and Software Science: State of the Art and Perspectives

Computing and Software Science: State of the Art and Perspectives

Springer International Publishing

Bernhard Steffen, Gerhard Woeginger

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 25.29 MB

0 / 0

english, 2019

8

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Տարի:

2020

Լեզու:

english

Ֆայլ:

PDF, 32.16 MB

0 / 0

english, 2020

9

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 9.90 MB

0 / 0

english, 2019

10

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries

Spyridon Bakas & Alessandro Crimi & Ujjwal Baid & Sylwia Malec & Monika Pytlarz & Bhakti Baheti & Maximilian Zenk & Reuben Dorent & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2023

Ֆայլ:

PDF, 46.35 MB

0 / 0

2023

11

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Springer International Publishing;Springer

Tiziana Margaria, Bernhard Steffen

Տարի:

2020

Լեզու:

english

Ֆայլ:

PDF, 28.03 MB

0 / 0

english, 2020

12

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2022

Լեզու:

english

Ֆայլ:

EPUB, 122.08 MB

0 / 4.5

english, 2022

13

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

PDF, 6.37 MB

0 / 0

english, 1996

14

Leveraging applications of formal methods, verification and validation

Leveraging applications of formal methods, verification and validation

Tiziana Margaria-Steffen, Bernhard Steffen

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 12.67 MB

0 / 0

english, 2008

15

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

PDF, 7.67 MB

0 / 0

english, 2021

16

Computational Science and Its Applications – ICCSA 2022

Computational Science and Its Applications – ICCSA 2022

Springer International Publishing

Osvaldo Gervasi & Beniamino Murgante & Eligius M. T. Hendrix & David Taniar & Bernady O. Apduhan & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2022

Լեզու:

english

Ֆայլ:

EPUB, 74.87 MB

0 / 5.0

english, 2022

17

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2016

Լեզու:

english

Ֆայլ:

PDF, 64.11 MB

0 / 0

english, 2016

18

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 8.96 MB

0 / 0

english, 2012

19

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2014

Լեզու:

english

Ֆայլ:

PDF, 17.08 MB

0 / 0

english, 2014

20

Computing and software science, state of the art and perspectives

Computing and software science, state of the art and perspectives

Springer International Publishing : Imprint: Springer

Steffen, Bernhard., Woeginger, Gerhard

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 6.53 MB

0 / 0

english, 2019

21

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

EPUB, 601 KB

0 / 0

english, 2021

22

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Tiziana Margaria, Bernhard Steffen

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 13.99 MB

0 / 0

english, 2010

23

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 3.60 MB

0 / 0

english, 1996

24

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 2.40 MB

0 / 0

english, 2006

25

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 35.10 MB

0 / 0

english, 2009

26

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

Տարի:

2002

Լեզու:

english

Ֆայլ:

PDF, 2.81 MB

0 / 0

english, 2002

27

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 13.00 MB

0 / 0

english, 2010

28

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 13.02 MB

0 / 0

english, 2010

29

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Springer International Publishing

Tiziana Margaria, Bernhard Steffen

Լեզու:

english

Ֆայլ:

EPUB, 10.33 MB

0 / 0

english

30

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Tiziana Margaria, Bernhard Steffen

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 9.82 MB

0 / 0

english, 2010

31

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2023

Լեզու:

english

Ֆայլ:

PDF, 6.81 MB

0 / 5.0

english, 2023

32

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

Տարի:

2009

Լեզու:

german

Ֆայլ:

PDF, 17.33 MB

0 / 0

german, 2009

33

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

PDF, 7.31 MB

0 / 0

english, 1998

34

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 11.26 MB

0 / 0

english, 2012

35

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Ֆայլ:

RTF , 3.98 MB

0 / 0

36

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 8.98 MB

0 / 0

english, 2010

37

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 2.13 MB

0 / 0

english, 2006

38

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

AZW3 , 5.69 MB

0 / 0

english, 2021

39

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 9.02 MB

0 / 0

english, 2010

40

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 9.84 MB

0 / 0

english, 2019

41

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

Տարի:

1998

Լեզու:

english

Ֆայլ:

DJVU, 6.59 MB

0 / 0

english, 1998

42

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 9.02 MB

0 / 0

english, 2010

43

Advances in Cryptology – CRYPTO 2022

Advances in Cryptology – CRYPTO 2022

Yevgeniy Dodis & Thomas Shrimpton & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2022

Ֆայլ:

PDF, 10.06 MB

0 / 0

2022

44

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

LIT , 5.52 MB

0 / 0

english, 2021

45

Computer Vision – ECCV 2022 Workshops

Computer Vision – ECCV 2022 Workshops

Leonid Karlinsky & Tomer Michaeli & Ko Nishino & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Տարի:

2023

Ֆայլ:

PDF, 70.86 MB

0 / 0

2023

46

Graphical Models for Security

Graphical Models for Security

Harley Eades III & Olga Gadyatskaya & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2020

Լեզու:

english

Ֆայլ:

PDF, 13.15 MB

0 / 5.0

english, 2020

47

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

MOBI , 2.09 MB

0 / 0

english, 2021

48

Formal Methods Teaching

Formal Methods Teaching

João F. Ferreira & Alexandra Mendes & Claudio Menghi & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Gerhard Woeginger & Moti Yung

Տարի:

2021

Լեզու:

english

Ֆայլ:

FB2 , 7.71 MB

0 / 0

english, 2021

49

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

Տարի:

2009

Լեզու:

german-english

Ֆայլ:

PDF, 9.31 MB

0 / 5.0

german-english, 2009

50

Baukonstruktion im Klimawandel

Baukonstruktion im Klimawandel

Springer Vieweg

Bernhard Weller, Marc-Steffen Fahrion, Sebastian Horn, Thomas Naumann, Johannes Nikolowski, (auth.)

Տարի:

2016

Լեզու:

german

Ֆայլ:

PDF, 84.97 MB

0 / 0

german, 2016